翻訳と辞書 Words near each other ・ Symmetrischema pallidochrella ・ Symmetrischema peruanum ・ Symmetrischema piperinum ・ Symmetrischema primigenium ・ Symmetrischema pulchrum ・ Symmetrischema purum ・ Symmetrischema respectabile ・ Symmetrischema senex ・ Symmetrischema solitare ・ Symmetrischema solum ・ Symmetrischema striatella ・ Symmetrischema symmetricum ・ Symmetrischema tangolias ・ Symmetrischema ventralella ・ Symmetrix Remote Data Facility ・ Symmetrizable compact operator ・ Symmetrization ・ Symmetrization methods ・ Symmetrocapulidae ・ Symmetroctena ・ Symmetrodes ・ Symmetrodes platymelas ・ Symmetrodes sciocosma ・ Symmetrodonta ・ Symmetromphalus ・ Symmetromphalus hageni ・ Symmetromphalus regularis ・ Symmetry ・ Symmetry (band) ・ Symmetry (disambiguation) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Symmetrizable compact operator ： ウィキペディア英語版 Symmetrizable compact operator In mathematics, a symmetrizable compact operator is a compact operator on a Hilbert space that can be composed with a positive operator with trivial kernel to produce a self-adjoint operator. Such operators arose naturally in the work on integral operators of Hilbert, Korn, Lichtenstein and Marty required to solve elliptic boundary value problems on bounded domains in Euclidean space. Between the late 1940s and early 1960s the techniques, previously developed as part of classical potential theory, were abstracted within operator theory by various mathematicians, including M. G. Krein, William T. Reid, Peter Lax and Jean Dieudonné. Fredholm theory already implies that any element of the spectrum is an eigenvalue. The main results assert that the spectral theory of these operators is similar to that of compact self-adjoint operators: any spectral value is real; they form a sequence tending to zero; any generalized eigenvector is an eigenvector; and the eigenvectors span a dense subspace of the Hilbert space. ==Discussion== Let ''H'' be a Hilbert space. A compact operator ''K'' on ''H'' is symmetrizable if there is a bounded self-sdjoint operator ''S'' on ''H'' such that ''S'' is positive with trivial kernel, i.e. (''Sx'',''x'') > 0 for all non-zero ''x'', and ''SK'' is self-adjoint: :$\backslash displaystyle$ In many applications ''S'' is also compact. The operator ''S'' defines a new inner product on ''H'' :$\backslash displaystyle.$ Let ''H''S be the Hilbert space completion of ''H'' with respect to this inner product. The operator ''K'' defines a formally self-adjoint operator on the dense subspace ''H'' of ''H''''S''. As Krein (1947) and noted, the operator has the same operator norm as ''K''. In fact the self-adjointness condition implies :$\backslash displaystyle$ It follows by induction that, if (''x'',''x'')''S'' = 1, then :$\backslash displaystyle\}x\backslash |\_S.\}$ Hence :$\backslash displaystyle\; =\backslash |K\backslash |\}$ If ''K'' is only compact, Krein gave an argument, invoking Fredholm theory, to show that ''K'' defines a compact operator on ''H''''S''. A shorter argument is available if ''K'' belongs to a Schatten class. When ''K'' is a Hilbert–Schmidt operator, the argument proceeds as follows. Let ''R'' be the unique positive square root of ''S'' and for ε > 0 define :$\backslash displaystyle.\}$ These are self-adjoint Hilbert–Schmidt operator on ''H'' which are uniformly bounded in the Hilbert–Schmidt norm: :$\backslash displaystyle)\_2\backslash le\; \backslash |K\backslash |\_2^2,\}$ Since the Hilbert–Schmidt operators form a Hilbert space, there is a subsequence converging weakly to s self-adjoint Hilbert–Schmidt operator ''A''. Since ''A''ε ''R'' tends to ''RK'' in Hilbert–Schmidt norm, it follows that :$\backslash displaystyle$ Thus if ''U'' is the unitary induced by ''R'' between ''H''''S'' and ''H'', then the operator ''K''''S'' induced by the restriction of ''K'' corresponds to ''A'' on ''H'': :$\backslash displaystyle$ The operators ''K'' − ''λI'' and ''K'' * − ''λI'' are Fredholm operators of index 0 for λ ≠ 0, so any spectral value of ''K'' or ''K'' * is an eigenvalue and the corresponding eigenspaces are finite-dimensional. On the other hand, by the special theorem for compact operators, ''H'' is the orthogonal direct sum of the eigenspaces of ''A'', all finite-dimensional except possibly for the 0 eigenspace. Since ''RA'' = ''K'' * ''R'', the image under ''R'' of the λ eigenspace of ''A'' lies in the λ eigenspace of ''K'' *. Similarly ''R'' carries the λ eigenspace of ''K'' into the λ eigenspace of ''A''. It follows that the eigenvalues of ''K'' and ''K'' * are all real. Since ''R'' is injective and has dense range it induces isomorphisms between the λ eigenspaces of ''A'', ''K'' and ''K'' *. The same is true for generalized eigenvalues since powers of ''K'' − ''λI'' and ''K'' * − ''λI'' are also Fredholm of index 0. Since any generalized λ eigenvector of ''A'' is already an eigenvector, the same is true for ''K'' and ''K'' *. For λ = 0, this argument shows that ''K''''m''''x'' = 0 implies ''Kx'' = 0. Finally the eigenspaces of ''K'' * span a dense subspace of ''H'', since it contains the image under ''R'' of the corresponding space for ''A''. The above arguments also imply that the eigenvectors for non-zero eigenvalues of ''K''''S'' in ''H''''S'' all lie in the subspace ''H''. Hilbert–Schmidt operators ''K'' with non-zero real eigenvalues λ''n'' satisfy the following identities proved by : :$\backslash displaystyle^\backslash infty\; (1-z\backslash lambda\_n^2).\}$ Here tr is the trace on trace-class operators and det is the Fredholm determinant. For symmetrizable Hilbert–Schmidt operators the result states that the trace or determinant for ''K'' or ''K'' * is equal to the trace or determinant for ''A''. For symmetrizable operators, the identities for ''K'' * can be proved by taking ''H''0 to be the kernel of ''K'' * and ''H''m the finite dimensional eigenspaces for the non-zero eigenvalues λ''m''. Let ''P''''N'' be the orthogonal projection onto the direct sum of ''H''''m'' with 0 ≤ ''m'' ≤ ''N''. This subspace is left invariant by ''K'' *. Although the sum is not orthogonal the restriction ''P''''N''''K'' *''P''''N'' of ''K'' * is similar by a bounded operator with bounded inverse to the diagonal operator on the orthogonal direct sum with the same eigenvalues. Thus :$\backslash displaystyle^N\; \backslash lambda\_m^2\; \backslash cdot\; \backslash mathrm\backslash ,\; H\_m,\backslash ,\backslash ,\backslash ,\; \backslash mathrm\backslash ,\; (-\; z(P\_NK^$ *P_N)^2 ) = \prod_^N (1-z\lambda_m^2)^.} Since ''P''''N''''K'' *''P''''N'' tends to ''K'' * in Hilbert–Schmidt norm, the identities for ''K'' * follow by passing to the limit as ''N'' tends to infinity. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Symmetrizable compact operator」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.